# zk-SNARKs

**zk-SNARKs**(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge)는 검증자가 증명자의 비밀 정보(Witness)를 알지 못해도, 증명자가 특정 문장이 참임을 알고 있다는 사실을 빠르게 확인할 수 있는 영지식 증명 기술입니다.

## 작동 원리

zk-SNARKs는 계산 과정을 수학적 형태로 변환하여 증명하고 검증하는 과정을 거칩니다. 일반적인 계산 과정은 다음과 같은 단계로 변환됩니다.

*   **산술 회로(Arithmetic Circuit)**: 계산하고자 하는 로직을 덧셈과 곱셈 게이트로 구성된 회로 형태로 변환합니다.
*   **R1CS (Rank-1 Constraint System)**: 산술 회로를 벡터와 행렬의 곱셈 형태인 제약 조건 시스템으로 변환하여, 입력값이 회로의 규칙을 만족하는지 확인하는 식으로 정의합니다.
*   **QAP (Quadratic Arithmetic Program)**: R1CS의 수많은 제약 조건을 하나의 다항식 형태로 압축합니다. 이를 통해 증명자는 다항식의 특정 지점에서 값이 일치함을 보임으로써 전체 계산이 올바름을 증명할 수 있습니다.

## 주요 특징

zk-SNARKs는 이름에 포함된 특성대로 다음과 같은 핵심 이점을 가집니다.

*   **Succinct (간결성)**: 증명의 크기가 매우 작으며, 검증 시간이 원래의 계산 복잡도와 상관없이 일정하거나 매우 짧습니다.
*   **Non-Interactive (비대화성)**: 증명자와 검증자가 여러 번 메시지를 주고받을 필요 없이, 증명자가 단 한 번의 증명 값(Proof)을 생성하여 전달하면 검증자가 이를 즉시 확인할 수 있습니다.

## 신뢰 설정(Trusted Setup)

zk-SNARKs의 초기 버전은 시스템을 가동하기 위해 공통 참조 문자열(CRS, Common Reference String)이라는 초기 파라미터 설정 과정이 필요합니다.

*   **Toxic Waste (독성 폐기물)**: 신뢰 설정 과정에서 사용된 무작위 값들이 유출될 경우, 누구나 가짜 증명을 생성하여 시스템을 속일 수 있는 치명적인 보안 결함이 발생합니다. 이를 '독성 폐기물'이라 부릅니다.
*   **MPC (Multi-Party Computation)**: 독성 폐기물 문제를 해결하기 위해 다자간 계산(MPC) 방식을 사용합니다. 여러 참여자가 나누어 파라미터를 생성하고, 참여자 중 단 한 명이라도 정직하게 자신의 파편을 파기했다면 전체 시스템의 보안이 유지되는 방식입니다.

## 활용 사례

zk-SNARKs는 프라이버시 보호와 확장성 해결을 위해 다양한 블록체인 프로젝트에 적용되고 있습니다.

*   **Zcash**: 송금 금액과 송수신자의 주소를 숨기면서도 해당 거래가 유효함을 증명하는 최초의 실용적 적용 사례입니다.
*   **Ethereum 2.0 및 Layer 2**: 이더리움의 확장성 문제를 해결하기 위해 사용됩니다.
*   **zk-Rollups**: 수천 개의 트랜잭션을 오프체인에서 처리하고, 그 결과가 올바르다는 단 하나의 zk-SNARKs 증명만을 메인넷에 기록함으로써 가스비를 절감하고 처리 속도를 높입니다.

## 일반 영지식 증명(ZKP)과 zk-SNARKs 비교

| 구분 | 일반 영지식 증명 (ZKP) | zk-SNARKs |
| :--- | :--- | :--- |
| **상호작용** | 일반적으로 증명자와 검증자 간의 대화 필요 | 단일 증명 전달로 완료 (비대화성) |
| **증명 크기** | 데이터 크기가 클 수 있음 | 매우 작고 간결함 (Succinct) |
| **검증 속도** | 계산량에 비례하여 증가 가능 | 계산량과 무관하게 매우 빠름 |
| **초기 설정** | 대부분 필요 없음 | 신뢰 설정(Trusted Setup) 필요 |